DROPS

Document

DOI: 10.4230/OASIcs.MCPS.2014.66

Modeling of Reconfigurable Medical Ultrasonic Applications in BIP

Authors: Stefanos Skalistis and Alena Simalatsar

Published in: OASIcs, Volume 36, 5th Workshop on Medical Cyber-Physical Systems (2014)

Abstract

Medical ultrasonic imaging applications require high quality of images produced in real-time often with limited resources available. Deadlock-freedom and confluency must be guaranteed to ensure the correctness of the applications, while feasibility and optimality properties are required to provide the best Quality of Service (QoS) within available resources. In this paper we introduce BIP (Behavior-Interaction-Priority) framework components as main building blocks to model such applications in a correct-by-construction manner. Based on those components we model a reconfigurable multi-mode processing pipeline for ultrasonic imaging that supports QoS management by topology reconfiguration. Finally, as a proof of concept, we present a simple quality controller as a well-triggered component, which when combined with the processing pipeline can manipulate the quality of image processing.

Cite as

Stefanos Skalistis and Alena Simalatsar. Modeling of Reconfigurable Medical Ultrasonic Applications in BIP. In 5th Workshop on Medical Cyber-Physical Systems. Open Access Series in Informatics (OASIcs), Volume 36, pp. 66-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@InProceedings{skalistis_et_al:OASIcs.MCPS.2014.66,
  author =	{Skalistis, Stefanos and Simalatsar, Alena},
  title =	{{Modeling of Reconfigurable Medical Ultrasonic Applications in BIP}},
  booktitle =	{5th Workshop on Medical Cyber-Physical Systems},
  pages =	{66--79},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-66-8},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{36},
  editor =	{Turau, Volker and Kwiatkowska, Marta and Mangharam, Rahul and Weyer, Christoph},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MCPS.2014.66},
  URN =		{urn:nbn:de:0030-drops-45246},
  doi =		{10.4230/OASIcs.MCPS.2014.66},
  annote =	{Keywords: Reconfigurable Pipelines, Quality of Service, Medical Ultrasonic Applications, Component-based System Design, Behavior-Interaction-Priority Modal Flow}
}

Search Results

Documents authored by Simalatsar, Alena

Modeling of Reconfigurable Medical Ultrasonic Applications in BIP

Abstract

Cite as

Thanks for your feedback!

Could not send message